Two adaptive logics of norm-propositions
نویسندگان
چکیده
منابع مشابه
Two adaptive logics of norm-propositions
We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflictand gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and norm...
متن کاملT-norm-based Fuzzy Logics and Logics for Human Reasoning
In [1] the authors considered finitely-valued modal logics with Kripke style semantics where both propositions and the accessibility relation are valued over a finite residuated lattice. Unfortunately, the necessity operator does not satisfy in general the normality axiom (K). In this paper we focus on the case of finite chains, and we consider a different approach based on introducing a multim...
متن کاملFuzzy Description Logics and t-norm based fuzzy logics
Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hájek proposed to deal with FDLs taking as basis t-norm bas...
متن کاملLogics for Representation of Propositions with Fuzzy Modalities
In the paper we introduce logical calculi for representation of propositions with modal operators indexed by fuzzy values. There calculi are called Heyting-valued modal logics. We introduce the concept of a Heyting-valued Kripke model and consider a semantics of Heyting-valued modal logics at the class of Heyting-valued Kripke models.
متن کاملOn Triangular Norm Based Fuzzy Description Logics
Description Logics (DLs) are knowledge representation languages useful to represent concepts and roles. Fuzzy Description Logics (FDLs) incorporate both vague concepts and vague roles modeling them as fuzzy sets and fuzzy relations respectively. In the present paper, following ideas from Hájek, we propose the use of t-norm based (fuzzy) logics with truth constants in the language as logics unde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2013
ISSN: 1570-8683
DOI: 10.1016/j.jal.2013.02.001